Przejdź do zawartości

Afirmacja (logika)

Z Wikipedii, wolnej encyklopedii

Afirmacja – w logice formalnej stwierdzenie przynależności pomiędzy dwoma pojęciami[1] (np. "dysk twardy jest urządzeniem przechowującym dane").

Przypisy

[edytuj | edytuj kod]
  1. afirmacja, [w:] Encyklopedia PWN [online], Wydawnictwo Naukowe PWN [dostęp 2014-01-06].